Using unreachable code analysis in static analysis tool for finding defects in source code

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Static Source Code Analysis using OCL

The majority of artifacts created during software development are representations of programs in textual syntax. Although graphical descriptions are becoming more widespread, source code is still indispensable. To obtain programs that behave correctly and adhere to given coding conventions, source code must be analyzed — preferably using automated tools. Building source code analyzers has a lon...

متن کامل

Finding Error-Handling Bugs in Systems Code Using Static Analysis

Run-time errors are unavoidable whenever software interacts with the physical world. Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and errormanagement bugs at the file system layer can cause silent, unrecoverable data corruption. Furthermore, even when developers have the best of intentions, inaccura...

متن کامل

Profile Detection Through Source Code Static Analysis

The present article reflects the progress of an ongoing master’s dissertation on language engineering. The main goal of the work here described, is to infer a programmer’s profile through the analysis of his source code. After such analysis the programmer shall be placed on a scale that characterizes him on his language abilities. There are several potential applications for such profiling, nam...

متن کامل

Code Later Using Static Analysis

In 2 002, COVErITY commercialized3 a research static bug-finding tool.6,9 Not surprisingly, as academics, our view of commercial realities was not perfectly accurate. However, the problems we encountered were not the obvious ones. Discussions with tool researchers and system builders suggest we were not alone in our naïveté. Here, we document some of the more important examples of what we learn...

متن کامل

A Supervised Approach for Personality Recognition in Source Code using Code Analysis Tool at FIRE 2016

Personality Recognition from the author’s source code is a task organized by PR-SOCO team in conjunction with the FIRE 2016 Forum for Information Retrieval Evaluation. The aim is to identify author’s personality traits from source code collection of a programmer. We have used various supervised learning approaches to train the regression model with different set of features extracted using stat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS

سال: 2016

ISSN: 2079-8156,2220-6426

DOI: 10.15514/ispras-2016-28(5)-9